Planning Domain Definition Language - PDFSEARCH.IO - Document Search Engine

Planning Domain Definition Language
Results: 128

#	Item
11	On the Use of Planning Technology for Verification Aws Albarghouthi Jorge A. Baier Sheila A. McIlraith Add to Reading List Source URL: www-vvps09.imag.fr Language: English - Date: 2009-08-25 03:10:48 Logic Mathematical logic Theoretical computer science Temporal logic Model checkers Linear temporal logic NuSMV Model checking Concurrency Finite model theory Planning Domain Definition Language SMV
12	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2010-08-28 23:41:19 Logic in computer science Logic programming Automated planning and scheduling Formal methods Conjunctive normal form Situation calculus Planning Domain Definition Language Algorithm Boolean satisfiability problem Theoretical computer science Mathematics Applied mathematics
13	Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob Add to Reading List Source URL: www.cse.unr.edu Language: English - Date: 2012-12-20 19:29:52 Theoretical computer science Discrete space Planning Domain Definition Language Applied mathematics Automated planning and scheduling Control theory Mathematics Space Motion planning
14	Sampling-based Motion Planning with High-Level Discrete Specifications Erion Plaku Abstract— Motion planning has generally focused on computing a collision-free trajectory to a goal region. Enhancing the ability of rob Add to Reading List Source URL: iros2011.org Language: English - Date: 2011-09-21 07:00:36 Space Discrete space Planning Domain Definition Language Automated planning and scheduling Control theory Applied mathematics Mathematics Motion planning Theoretical computer science
15	Generating and Evaluating Unsolvable STRIPS Planning Instances for Classical Planning Bachelor’s Thesis Natural Science Faculty of the University of Basel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-08-11 10:56:40 Heuristics Linux games Windows games Sokoban Heuristic function Heuristic Admissible heuristic Mathematical optimization Planning Domain Definition Language Digital media Application software Software
16	A Beginner’s Introduction to Heuristic Search Planning 7. Going Further Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-01-20 05:17:56 Heuristic function Heuristic Planner Search algorithm Algorithm Planning Domain Definition Language Artificial intelligence Automated planning and scheduling Heuristics
17	Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
18	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
19	52426—Artificial Intelligence Planning Practicals, 2008 The AI Course Team, Department of Computer and Information Sciences (sample rock rover0 rover0store waypoint3) Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2011-11-03 17:18:55 Mathematical logic Theoretical computer science Planning Domain Definition Language Electronic filter Search algorithm Mathematics Electronics Automated planning and scheduling Signal processing filter Algorithm
20	Curriculum Vitae Dr Daniele Magazzeni Current Position Position: Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2015-03-23 15:49:18 Planning Domain Definition Language Planner Automated planning and scheduling Artificial intelligence Model checking

UPDATE